- 双语例句 更多例句
1、
为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。
互联网摘选
2、
本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。
互联网摘选
3、
关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。
互联网摘选
4、
Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics
从公理语义看UNITY模型和GAMMA模型的关系
互联网摘选
- 相关词组
- semantics of data[计] 数据语义学;
- logic semantics[计]逻辑语义学;
- tree semantics[计]树状语义学;
- final semantics[计]最终语义学;
- general semantics普通语义;
- data semantics[计]数据语义学;
- trace semantics[计]轨迹语义学;
- fixpoint semantics[计]定点语义学;
- abstract semantics[计]抽象语义学;
- body semantics体态语义学；手势语义学;
- verb semantics动词语义学;
- lexical semantics词汇语义学;
- language semantics[计]语言语义学;
- dynamic semantics[计]动态语义学;
- fault semantics[计]故障语义学;
- formal semantics形式语义学[程序];
- axiomatic approach公理方法，公理探索;
- query semantics[计]查询语义学;
- program semantics程序语义学;
- world semantics[计] 世界语义学;
- 今日热词
- 热门搜索
- Always have always will 永远拥有,永远存在;我会一直爱你
- insurance n.保险;保险费;保险业;保险契约，保险单;（防备不测的）保障措施，安全保证;〈体〉保证球队始终处于领先地位的得分adj.胜券在握的
- heal v.（使）康复;治愈;（使）结束;
- mature v.长大成人;成熟;酿成;到期;adj.成熟的;酿熟的;成年的;到期的;
- yellow earth 赭石，黄土;黄壤;
- whisper v.低语，私语;私下谈论;沙沙作响;n.耳语/低语/私语（声）;轻柔的声音;传言;
- What can I say 我还能说什么呢; 我还能说什么;
- kilogram n.千克;公斤;
- strong adj.强的;坚强的;强烈的;强壮的;
- firefighter n.<美>消防队员;
- memorize vt.记住，熟记;[计算机科学] 存储，记忆;
- sunburnt adj.晒黑的，日灼的;(sunburn的过去式和过去分词);
